Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
-
Assia Mahboubi, Proof Assistants, 18h, M2, Denis Diderot University (Paris), France.
-
Frédéric Chyzak, Algorithmes efficaces en calcul formel, 18h, M2, MPRI, France.
-
Alin Bostan, Algorithmes efficaces en calcul formel, 40.5h, M2, MPRI, France.
-
Pierre Lairez, Algorithmique avancée, 18h, M1, École polytechnique, France.
-
Supervision
-
PhD in progress: Thomas Sibut-Pinote, “Calcul numérique et démonstrations mathématiques: de la rigueur à la preuve formelle”, September 2014, Assia Mahboubi
-
PhD in progress: Louis Dumont, “Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre”, started in September 2013, supervised by Alin Bostan and B. Salvy.
-
Master intership (M1): G. Boisseau and Th. Huffschmitt, Combination of decision procedures in presence of meta-variables, École Polytechnique, supervised by Assia Mahboubi (jointly with S. Graham-Lengrand from LIX).
Juries
-
Alin Bostan has served as a jury member of the French Agrégation de Mathématiques – épreuve de modélisation, option C.
-
Alin Bostan has served as an examiner in the PhD jury of Aladin Virmaux, Théorie des représentations combinatoires de tours de monoïdes, Application à la catégorification et aux fonctions de parking, Université Paris-Saclay, June 13, 2016.